A combinatory account of internal structure
نویسندگان
چکیده
Traditional combinatory logic is able to represent all Turing computable functions on natural numbers, but there are effectively calculable functions on the combinators themselves that cannot be so represented, because they have direct access to the internal structure of their arguments. Some of this expressive power is captured by adding a factorisation combinator. It supports structural equality, and more generally, a large class of generic queries for updating of, and selecting from, arbitrary structures. The resulting combinatory logic is structure complete in the sense of being able to represent pattern-matching functions, as well as simple abstractions. §
منابع مشابه
Call-by-Value Combinatory Logic and the Lambda-Value Calculus
Since it is unsound to reason about call-by-value languages using call-by name equational theories, we present two by-value combinatory logics and translations from the-value (v) calculus to the logics. The rst by-value logic is constructed in a manner similar to the v-calculus: it is based on the by-name combinatory logic, but the combinators are strict. The translation is non-standard to acco...
متن کاملFinite Type Structures within Combinatory Algebras
Inside a combinatory algebra, there are 'internal' versions of the nite type structure over !, which form models of various systems of nite type arithmetic. This paper compares internal representations of the intensional and extensional functionals. If these classes coincide, the algebra is called ft-extensional. Some criteria for ft-extensionality are given and a number of well-known ca's are ...
متن کاملPerformance Measurement of Decision Making Units with Network Structure in the Presence of Undesirable Output
In the performance evaluation process, using the classic data envelopment analysis (DEA) models, decision making units (DMUs) are considered as black boxes. While in many cases and different applications such as investment funds, banks, insurance companies, etc., DMUs have a network structure. In addition, in many network structures, some of the indicators used to calculate the efficiency...
متن کاملThe Categorial Annotation of Coordination in Arabic
The model of categorial grammars is a sufficiently flexible model to give an account of several languages and several forms of organisation of the linguistic units of these languages (coordination, subordination, etc). However, the research tasks were limited almost exclusively to European languages. A language like Arabic, in spite of the richness of the tradition of its schools of thought, wh...
متن کاملKUL-Eval: A Combinatory Categorial Grammar Approach for Improving Semantic Parsing of Robot Commands using Spatial Context
When executing commands, a robot has a certain level of contextual knowledge about the environment in which it operates. Taking this knowledge into account can be beneficial to disambiguate commands with multiple interpretations. We present an approach that uses combinatory categorial grammars for improving the semantic parsing of robot commands that takes into account the spatial context of th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. Symb. Log.
دوره 76 شماره
صفحات -
تاریخ انتشار 2011